One-dimensional T-preorders
نویسندگان
چکیده
This paper studies T -preorders by using their Representation Theorem that states that every T -preorder on a set X can be generated in a natural way by a family of fuzzy subsets of X . Especial emphasis is made on the study of onedimensional T -preorders (i.e.: T -preorders that can be generated by only one fuzzy subset). Strong complete T -preorders are characterized.
منابع مشابه
Generation and Characterization of Fuzzy T-preorders
This paper studies T -preorders than can be generated in a natural way by a single fuzzy subset. These T -preorders are called one-dimensional and are of great importance, since every T -preorder can be generated by combining onedimensional ones. In the paper, the relation between fuzzy subsets generating the same T -preorder is given and one-dimensional T -preorders are characterized in two di...
متن کاملInverse Limit Models as Filter Models
Natural intersection type preorders are the type structures which agree with the plain intuition of intersection type constructor as set-theoretic intersection operation and arrow type constructor as set-theoretic function space constructor. In this paper we study the relation between natural intersection type preorders and natural λ-structures, i.e. ω-algebraic lattices D with Galois connectio...
متن کاملInternational Workshop on Higher - Order
Natural intersection type preorders are the type structures which agree with the plain intuition of intersection type constructor as set-theoretic intersection operation and arrow type constructor as set-theoretic function space constructor. In this paper we study the relation between natural intersection type preorders and natural λ-structures, i.e. ω-algebraic lattices D with Galois connectio...
متن کاملA Logical Characterization of Efficiency Preorders
In this paper we present logical characterizations of two preorders, within the framework of Hennessy-Milner Logics. The two preorders (loosely termed bisimulation-based efficiency preorders) are on processes represented as labelled transition systems. The characterizations are particularly interesting as they explore preorders lying between strong and weak bisimilarity, guided by a principle o...
متن کاملHOR 2004 2 nd International Workshop on Higher - Order Rewriting
Natural intersection type preorders are the type structures which agree with the plain intuition of intersection type constructor as set-theoretic intersection operation and arrow type constructor as set-theoretic function space constructor. In this paper we study the relation between natural intersection type preorders and natural λ-structures, i.e. ω-algebraic lattices D with Galois connectio...
متن کامل